Anita Wasilewska: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Deterministic Algorithms, Simple Languages And One-to-One Gentzen Type Formalizations

Anita Wasilewska

Journal:

Mathematical Logic Quarterly

Year:

1986

Language:

english

File:

PDF, 452 KB

english, 1986

2

On the Gentzen Type Formalizations

Anita Wasilewska

Journal:

Mathematical Logic Quarterly

Year:

1980

Language:

english

File:

PDF, 298 KB

english, 1980

3

Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them

Anita Wasilewska

Journal:

Mathematical Logic Quarterly

Year:

1985

Language:

english

File:

PDF, 354 KB

english, 1985

4

Interactive inductive learning

Michael Hadjimichael, Anita Wasilewska

Journal:

International Journal of Man-Machine Studies

Year:

1993

File:

PDF, 583 KB

1993

5

Syntactic decision procedures in information systems

Anita Wasilewska

Journal:

International Journal of Man-Machine Studies

Year:

1989

Language:

english

File:

PDF, 696 KB

english, 1989

6

DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations

Anita Wasilewska

Journal:

Year:

1984

Language:

english

File:

PDF, 554 KB

english, 1984

7

Programs and logics

Anita Wasilewska

Journal:

Year:

1985

Language:

english

File:

PDF, 678 KB

english, 1985

8

Trees and diagrams of decomposition

Anita Wasilewska

Journal:

Year:

1985

Language:

english

File:

PDF, 924 KB

english, 1985

9

The diagrams of formulas of the modal propositional S4*calculus

Anita Wasilewska

Journal:

Year:

1972

Language:

english

File:

PDF, 308 KB

english, 1972

10

The diagrams of formulas of the intuitionistic propositional calculus

Anita Wasilewska

Journal:

Year:

1973

Language:

english

File:

PDF, 222 KB

english, 1973

11

A sequence formalization for SCI

Anita Wasilewska

Journal:

Year:

1976

Language:

english

File:

PDF, 231 KB

english, 1976

12

A formalization of the modal propositional S4 calculus

Anita Wasilewska

Journal:

Year:

1971

Language:

english

File:

PDF, 535 KB

english, 1971

13

Bayesian network multi-classifiers for protein secondary structure prediction

Vı́ctor Robles, Pedro Larrañaga, José M. Peña, Ernestina Menasalvas, Marı́a S. Pérez, Vanessa Herves, Anita Wasilewska

Journal:

Artificial Intelligence in Medicine

Year:

2004

Language:

english

File:

PDF, 311 KB

english, 2004

14

[Studies in Computational Intelligence] Data Mining: Foundations and Practice Volume 118 || Mining E-Action Rules, System DEAR

Lin, Tsau Young, Xie, Ying, Wasilewska, Anita, Liau, Churn-Jung

Year:

2008

Language:

english

File:

PDF, 254 KB

english, 2008

15

[Studies in Computational Intelligence] Data Mining: Foundations and Practice Volume 118 || E-Action Rules

Lin, Tsau Young, Xie, Ying, Wasilewska, Anita, Liau, Churn-Jung

Year:

2008

Language:

english

File:

PDF, 293 KB

english, 2008

16

[Studies in Computational Intelligence] Data Mining: Foundations and Practice Volume 118 || Latent Semantic Space for Web Clustering

Lin, Tsau Young, Xie, Ying, Wasilewska, Anita, Liau, Churn-Jung

Year:

2008

Language:

english

File:

PDF, 451 KB

english, 2008

17

[IEEE 2010 IEEE International Conference on Granular Computing (GrC-2010) - San Jose, CA, USA (2010.08.14-2010.08.16)] 2010 IEEE International Conference on Granular Computing - Descriptive Granularity

Wasilewska, Anita

Year:

2010

Language:

english

File:

PDF, 125 KB

english, 2010

18

[IEEE 2010 IEEE Long Island Systems, Applications and Technology Conference - Farmingdale, NY, USA (2010.05.7-2010.05.7)] 2010 IEEE Long Island Systems, Applications and Technology Conference - Social mobile applications

Giridher, Tapsie, Bulchandani, Aneesha, Kim, Raksik, Naik, Parag, Wasilewska, Anita, Wong, Jennifer L.

Year:

2010

Language:

english

File:

PDF, 1.69 MB

english, 2010

19

[IEEE 2009 International Multiconference on Computer Science and Information Technology (IMCSIT) - Mragowo, Poland (2009.10.12-2009.10.14)] 2009 International Multiconference on Computer Science and Information Technology - A model for teaching mobile application development for social changes: Implementation and lessons learned in senegal

Scharff, Christelle, Wasilewska, Anita, Wong, Jennifer, Bousso, Mamadou, Ndiaye, Ibrahima, Sarr, Cheikh

Year:

2009

File:

PDF, 379 KB

2009

20

[IEEE 2009 International Multiconference on Computer Science and Information Technology (IMCSIT) - Mragowo, Poland (2009.10.12-2009.10.14)] 2009 International Multiconference on Computer Science and Information Technology - Template mobile applications for social and educational development

Wasilewska, Anita, Wong, Jennifer L.

Year:

2009

Language:

english

File:

PDF, 743 KB

english, 2009

21

[Studies in Computational Intelligence] Data Mining: Foundations and Practice Volume 118 ||

Lin, Tsau Young, Xie, Ying, Wasilewska, Anita, Liau, Churn-Jung

Year:

2008

Language:

english

File:

PDF, 5.18 MB

english, 2008

22

[IEEE 2009 International Multiconference on Computer Science and Information Technology (IMCSIT) - Mragowo, Poland (2009.10.12-2009.10.14)] 2009 International Multiconference on Computer Science and Information Technology - Mobile applications for informal economies

Giridher, Tapsie, Kim, Raksik, Rai, Divya, Hanover, Adam, Yuan, Jun, Zarinni, Fatima, Scharff, Christelle, Wasilewska, Anita, Wong, Jennifer L.

Year:

2009

Language:

english

File:

PDF, 513 KB

english, 2009

23

[IEEE NAFIPS 2008 - 2008 Annual Meeting of the North American Fuzzy Information Processing Society - New York City, NY, USA (2008.05.19-2008.05.22)] NAFIPS 2008 - 2008 Annual Meeting of the North American Fuzzy Information Processing Society - A model for Protein Secondary Structure Prediction meta - classifiers

Wasilewska, Anita

Year:

2008

Language:

english

File:

PDF, 137 KB

english, 2008

24

[IEEE NAFIPS 2008 - 2008 Annual Meeting of the North American Fuzzy Information Processing Society - New York City, NY, USA (2008.05.19-2008.05.22)] NAFIPS 2008 - 2008 Annual Meeting of the North American Fuzzy Information Processing Society - Descriptive data mining; A granular model

Wasilewska, Anita

Year:

2008

Language:

english

File:

PDF, 135 KB

english, 2008

25

Learning and detecting emergent behavior in networks of cardiac myocytes

Grosu, Radu, Smolka, Scott A., Corradini, Flavio, Wasilewska, Anita, Entcheva, Emilia, Bartocci, Ezio

Journal:

Communications of the ACM

Year:

2009

Language:

english

File:

PDF, 1.80 MB

english, 2009

26

[IEEE 2010 International Multiconference on Computer Science and Information Technology (IMCSIT 2010) - Wisla (2010.10.18-2010.10.20)] Proceedings of the International Multiconference on Computer Science and Information Technology - Global mobile applications for monitoring health

Giridher, Tapsie, Wasilewska, Anita, Wong, Jennifer L, Rekhi, Karan Singh

Year:

2010

File:

PDF, 383 KB

2010

27

Programs and Logics

Anita Wasilewska

Journal:

Year:

1985

Language:

english

File:

PDF, 1.45 MB

english, 1985

28

1-[(Imidazolidin-2-yl)imino]-1 H -indoles as New Hypotensive Agents: Synthesis, In Vitro and In Vivo Biological Studies

Kornicka, Anita, Wasilewska, Aleksandra, Sączewski, Jarosław, Hudson, Alan L., Boblewski, Konrad, Lehmann, Artur, Gzella, Karol, Belka, Mariusz, Sączewski, Franciszek, Gdaniec, Maria, Rybczyńska, Apol

Journal:

Chemical Biology & Drug Design

Year:

2016

Language:

english

File:

PDF, 346 KB

english, 2016

29

The Diagrams of Formulas of the Modal Propositional$\text{S}4^{\ast}$Calculus

Anita Wasilewska

Journal:

Year:

1972

Language:

english

File:

PDF, 854 KB

english, 1972

30

A Formalization of the Modal Propositional S4 Calculus

Anita Wasilewska

Journal:

Year:

1971

Language:

english

File:

PDF, 1.18 MB

english, 1971

31

Trees and Diagrams of Decomposition

Anita Wasilewska

Journal:

Year:

1985

Language:

english

File:

PDF, 1.92 MB

english, 1985

32

DFC-Algorithms for Suszko Logic and One-to-One Gentzen Type Formalizations

Anita Wasilewska

Journal:

Year:

1984

Language:

english

File:

PDF, 1.06 MB

english, 1984

33

The Diagrams of Formulas of the Intuitionistic Propositional Calculus

Anita Wasilewska

Journal:

Year:

1973

Language:

english

File:

PDF, 648 KB

english, 1973

34

Logics for Computer Science (Classical and Non-Classical) ||

Wasilewska, Anita

Year:

2018

Language:

english

File:

PDF, 3.95 MB

english, 2018

35

Automating Algebraic Proofs in Algebraic Logic

Hsiang, Jieh, Wasilewska, Anita

Journal:

Fundamenta Informaticae

Year:

1996

File:

PDF, 729 KB

1996

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски